Composing Speci cations for Coordination

We introduce Oikos adtl, a speciication language for distributed systems based on asynchronous communication via remote writings. The language is designed to support the composition of speciica-tions. It allows expressing the global properties of a system in terms of the local properties of the components and of coordination templates. Oikos adtl is based on an asynchronous, distributed, temporal logic, which extends Unity to deal with components and events. We present the speciication language and its semantics, introduce a number of compositionality theorems, and discuss some coordination templates. A fragment of a standard case study is used to validate pragmatically the approach, with respect to expressiveness and work-ability.